#ifndef __KERN_DRIVER_GPIO_H__
#define __KERN_DRIVER_GPIO_H__

void led_rg_blank(int num);
void led_rg_green(int num);
void led_rg_red(int num);

void led_line(int num);

void num_display(int value);
int num_read(void);

int get_user_press();
void get_user_release();

#endif /* !__KERN_DRIVER_GPIO_H__ */
